principal automorphism

主自同构